UnivTrevesV1, LNCS, Analysis, bibRecord, 000021

Proving Coercion-Resistance of Scantegrity II

Identifieur interne : 000021 ( LNCS/Analysis ); précédent : 000020; suivant : 000022

Proving Coercion-Resistance of Scantegrity II

Auteurs : Ralf Küsters [Allemagne] ; Tomasz Truderung [Allemagne] ; Andreas Vogt [Allemagne]

Source :

Lecture Notes in Computer Science [ 0302-9743 ] ; 2010.

RBID : ISTEX:FD2272056B312CF264B2C9CF883676CD43DA2AD6

Abstract

Abstract: By now, many voting protocols have been proposed that, among others, are designed to achieve coercion-resistance, i.e., resistance to vote buying and voter coercion. Scantegrity II is among the most prominent and successful such protocols in that it has been used in several elections. However, almost none of the modern voting protocols used in practice, including Scantegrity II, has undergone a rigorous cryptographic analysis. In this paper, we prove that Scantegrity II enjoys an optimal level of coercion-resistance, i.e., the same level of coercion-resistance as an ideal voting protocol (which merely reveals the outcome of the election), except for so-called forced abstention attacks. This result is obtained under the (necessary) assumption that the workstation used in the protocol is honest. Our analysis is based on a rigorous cryptographic definition of coercionresistance we recently proposed. We argue that this definition is in fact the only existing cryptographic definition of coercion-resistance suitable for analyzing Scantegrity II. Our case study should encourage and facilitate rigorous cryptographic analysis of coercion-resistance also for other voting protocols used in practice.

Url:

https://api.istex.fr/document/FD2272056B312CF264B2C9CF883676CD43DA2AD6/fulltext/pdf

DOI: 10.1007/978-3-642-17650-0_20

Affiliations:

Links toward previous steps (curation, corpus...)

to stream Istex, to step Corpus: 001B38
to stream Istex, to step Curation: 001A21
to stream Istex, to step Checkpoint: 000289
to stream Main, to step Merge: 000C64
to stream Main, to step Curation: 000C10
to stream Main, to step Exploration: 000C10
to stream LNCS, to step Extraction: 000021

Links to Exploration step

ISTEX:FD2272056B312CF264B2C9CF883676CD43DA2AD6

Le document en format XML

<record><TEI wicri:istexFullTextTei="biblStruct"><teiHeader><fileDesc><titleStmt><title xml:lang="en">Proving Coercion-Resistance of Scantegrity II</title>
<author><name sortKey="Kusters, Ralf" sort="Kusters, Ralf" uniqKey="Kusters R" first="Ralf" last="Küsters">Ralf Küsters</name>
</author>
<author><name sortKey="Truderung, Tomasz" sort="Truderung, Tomasz" uniqKey="Truderung T" first="Tomasz" last="Truderung">Tomasz Truderung</name>
</author>
<author><name sortKey="Vogt, Andreas" sort="Vogt, Andreas" uniqKey="Vogt A" first="Andreas" last="Vogt">Andreas Vogt</name>
</author>
</titleStmt>
<publicationStmt><idno type="wicri:source">ISTEX</idno>
<idno type="RBID">ISTEX:FD2272056B312CF264B2C9CF883676CD43DA2AD6</idno>
<date when="2010" year="2010">2010</date>
<idno type="doi">10.1007/978-3-642-17650-0_20</idno>
<idno type="url">https://api.istex.fr/document/FD2272056B312CF264B2C9CF883676CD43DA2AD6/fulltext/pdf</idno>
<idno type="wicri:Area/Istex/Corpus">001B38</idno>
<idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Corpus" wicri:corpus="ISTEX">001B38</idno>
<idno type="wicri:Area/Istex/Curation">001A21</idno>
<idno type="wicri:Area/Istex/Checkpoint">000289</idno>
<idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Checkpoint">000289</idno>
<idno type="wicri:doubleKey">0302-9743:2010:Kusters R:proving:coercion:resistance</idno>
<idno type="wicri:Area/Main/Merge">000C64</idno>
<idno type="wicri:Area/Main/Curation">000C10</idno>
<idno type="wicri:Area/Main/Exploration">000C10</idno>
<idno type="wicri:Area/LNCS/Extraction">000021</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en">Proving Coercion-Resistance of Scantegrity II</title>
<author><name sortKey="Kusters, Ralf" sort="Kusters, Ralf" uniqKey="Kusters R" first="Ralf" last="Küsters">Ralf Küsters</name>
<affiliation wicri:level="4"><country>Allemagne</country>
<placeName><settlement type="city">Trèves (Allemagne)</settlement>
<region type="land" nuts="1">Rhénanie-Palatinat</region>
</placeName>
<orgName type="university">Université de Trèves</orgName>
</affiliation>
<affiliation wicri:level="1"><country wicri:rule="url">Allemagne</country>
</affiliation>
</author>
<author><name sortKey="Truderung, Tomasz" sort="Truderung, Tomasz" uniqKey="Truderung T" first="Tomasz" last="Truderung">Tomasz Truderung</name>
<affiliation wicri:level="4"><country>Allemagne</country>
<placeName><settlement type="city">Trèves (Allemagne)</settlement>
<region type="land" nuts="1">Rhénanie-Palatinat</region>
</placeName>
<orgName type="university">Université de Trèves</orgName>
</affiliation>
<affiliation wicri:level="1"><country wicri:rule="url">Allemagne</country>
</affiliation>
</author>
<author><name sortKey="Vogt, Andreas" sort="Vogt, Andreas" uniqKey="Vogt A" first="Andreas" last="Vogt">Andreas Vogt</name>
<affiliation wicri:level="4"><country>Allemagne</country>
<placeName><settlement type="city">Trèves (Allemagne)</settlement>
<region type="land" nuts="1">Rhénanie-Palatinat</region>
</placeName>
<orgName type="university">Université de Trèves</orgName>
</affiliation>
<affiliation wicri:level="1"><country wicri:rule="url">Allemagne</country>
</affiliation>
</author>
</analytic>
<monogr></monogr>
<series><title level="s">Lecture Notes in Computer Science</title>
<imprint><date>2010</date>
</imprint>
<idno type="ISSN">0302-9743</idno>
<idno type="eISSN">1611-3349</idno>
<idno type="ISSN">0302-9743</idno>
</series>
<idno type="istex">FD2272056B312CF264B2C9CF883676CD43DA2AD6</idno>
<idno type="DOI">10.1007/978-3-642-17650-0_20</idno>
<idno type="ChapterID">20</idno>
<idno type="ChapterID">Chap20</idno>
</biblStruct>
</sourceDesc>
<seriesStmt><idno type="ISSN">0302-9743</idno>
</seriesStmt>
</fileDesc>
<profileDesc><textClass></textClass>
<langUsage><language ident="en">en</language>
</langUsage>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="en">Abstract: By now, many voting protocols have been proposed that, among others, are designed to achieve coercion-resistance, i.e., resistance to vote buying and voter coercion. Scantegrity II is among the most prominent and successful such protocols in that it has been used in several elections. However, almost none of the modern voting protocols used in practice, including Scantegrity II, has undergone a rigorous cryptographic analysis. In this paper, we prove that Scantegrity II enjoys an optimal level of coercion-resistance, i.e., the same level of coercion-resistance as an ideal voting protocol (which merely reveals the outcome of the election), except for so-called forced abstention attacks. This result is obtained under the (necessary) assumption that the workstation used in the protocol is honest. Our analysis is based on a rigorous cryptographic definition of coercionresistance we recently proposed. We argue that this definition is in fact the only existing cryptographic definition of coercion-resistance suitable for analyzing Scantegrity II. Our case study should encourage and facilitate rigorous cryptographic analysis of coercion-resistance also for other voting protocols used in practice.</div>
</front>
</TEI>
<affiliations><list><country><li>Allemagne</li>
</country>
<region><li>Rhénanie-Palatinat</li>
</region>
<settlement><li>Trèves (Allemagne)</li>
</settlement>
<orgName><li>Université de Trèves</li>
</orgName>
</list>
<tree><country name="Allemagne"><region name="Rhénanie-Palatinat"><name sortKey="Kusters, Ralf" sort="Kusters, Ralf" uniqKey="Kusters R" first="Ralf" last="Küsters">Ralf Küsters</name>
</region>
<name sortKey="Kusters, Ralf" sort="Kusters, Ralf" uniqKey="Kusters R" first="Ralf" last="Küsters">Ralf Küsters</name>
<name sortKey="Truderung, Tomasz" sort="Truderung, Tomasz" uniqKey="Truderung T" first="Tomasz" last="Truderung">Tomasz Truderung</name>
<name sortKey="Truderung, Tomasz" sort="Truderung, Tomasz" uniqKey="Truderung T" first="Tomasz" last="Truderung">Tomasz Truderung</name>
<name sortKey="Vogt, Andreas" sort="Vogt, Andreas" uniqKey="Vogt A" first="Andreas" last="Vogt">Andreas Vogt</name>
<name sortKey="Vogt, Andreas" sort="Vogt, Andreas" uniqKey="Vogt A" first="Andreas" last="Vogt">Andreas Vogt</name>
</country>
</tree>
</affiliations>
</record>

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Rhénanie/explor/UnivTrevesV1/Data/LNCS/Analysis

HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 000021 | SxmlIndent | more

HfdSelect -h $EXPLOR_AREA/Data/LNCS/Analysis/biblio.hfd -nk 000021 | SxmlIndent | more

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Rhénanie
   |area=    UnivTrevesV1
   |flux=    LNCS
   |étape=   Analysis
   |type=    RBID
   |clé=     ISTEX:FD2272056B312CF264B2C9CF883676CD43DA2AD6
   |texte=   Proving Coercion-Resistance of Scantegrity II
}}

This area was generated with Dilib version V0.6.31.
Data generation: Sat Jul 22 16:29:01 2017. Site generation: Wed Feb 28 14:55:37 2024

	Serveur d'exploration sur l'Université de Trèves
	Attention, ce site est en cours de développement ! Attention, site généré par des moyens informatiques à partir de corpus bruts. Les informations ne sont donc pas validées.

Serveur d'exploration sur l'Université de Trèves

Proving Coercion-Resistance of Scantegrity II

Proving Coercion-Resistance of Scantegrity II

Source :

Abstract

Links toward previous steps (curation, corpus...)

Links to Exploration step

Le document en format XML

Pour manipuler ce document sous Unix (Dilib)

Pour mettre un lien sur cette page dans le réseau Wicri